certoraRun spec/harnesses/MasterChefV2Harness.sol spec/harnesses/DummyERC20A.sol spec/harnesses/DummyERC20B.sol spec/harnesses/DummySUSHI.sol --link MasterChefV2Harness:SUSHI=DummySUSHI --settings -assumeUnwindCond,-enableStorageAnalysis=true,-ciMode=true --verify MasterChefV2Harness:spec/MasterChefV2.spec --cache MasterChefV2 --msg "MasterChefV2"
